| 翻訳と辞書 |
| Perverse sheaf ： ウィキペディア英語版 |
Perverse sheaf
The mathematical term perverse sheaves refers to a certain abelian category associated to a topological space ''X'', which may be a real or complex manifold, or a more general topologically stratified space, usually singular. This concept was introduced by Joseph Bernstein, Alexander Beilinson, Pierre Deligne, and Ofer Gabber (1982) as a formalisation of the Riemann-Hilbert correspondence, which related the topology of singular spaces (intersection homology of Mark Goresky and Robert MacPherson) and the algebraic theory of differential equations (microlocal calculus and holonomic D-modules of Joseph Bernstein, Masaki Kashiwara and Takahira Kawai). It was clear from the outset that perverse sheaves are fundamental mathematical objects at the crossroads of algebraic geometry, topology, analysis and differential equations. They also play an important role in number theory, algebra, and representation theory. Note that the properties characterizing perverse sheaves already appeared in the 75's paper of Kashiwara on the constructibility of solutions of holonomic D-modules.
== Preliminary remarks ==
The name ''perverse sheaf'' requires explanation: they are not sheaves in the mathematical (or any other) sense, nor are they perverse.〔''Les faisceaux pervers n'etant ni des faisceaux, ni pervers, la terminologie requiert une explication.'' BBD, p. 10〕 The justification is that perverse sheaves are complexes of sheaves which have several features in common with sheaves: they form an abelian category, they have cohomology, and to construct one, it suffices to construct it locally everywhere. The adjective "perverse" originates in the intersection homology theory, and its origin was explained by .
The Beilinson-Bernstein-Deligne definition of a perverse sheaf proceeds through the machinery of triangulated categories in homological algebra and has very strong algebraic flavour, although the main examples arising from Goresky-MacPherson theory are topological in nature because the simple objects in the category of perverse sheaves are the intersection cohomology complexes. This motivated MacPherson to recast the whole theory in geometric terms on a basis of Morse theory. For many applications in representation theory, perverse sheaves can be treated as a 'black box', a category with certain formal properties.
In the Riemann-Hilbert correspondence, perverse sheaves correspond to regular holonomic D-modules. This application establishes the notion of perverse sheaf as occurring 'in nature'.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Perverse sheaf」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|